1.3.1.8. debug.DumpTraversal
Print branch conditions as they are traversed by the engine.